421. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
Author: Bhattacharya, Alakananda
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
Classification :
QA
76
.
642
.
B484
422. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA76
.
642
.
T35
1992
423. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
642
.
T35
1992
424. Parallel logic programming in PARLOG : the language and its implementation
Author: Gregory, Steve.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194G74
1987
425. Parallel logic programming in parlog : the language & its implementation
Author: Gregory, Steve
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194
G74
426. Perspectives of System Informatics :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
427. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
428. Petri Nets :
Author: by Wolfgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA267
.
B996
1985
429. Philosophical Logic and Artificial Intelligence
Author: edited by Richmond H. Thomason.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
BC71
.
E358
1989
430. Philosophical and mathematical logic /
Author: Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
Classification :
BC131
431. Philosophy and Cognitive Science:
Author: edited by Andy Clark, Jesús Ezquerro, Jesús M. Larrazabal.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Genetic epistemology.,Logic.
Classification :
B808
.
9
E358
1996
432. Practical Applications of Computational Intelligence Techniques
Author: edited by Lakhmi Jain, Philippe Wilde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
433. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
434. Principles and Practice of Constraint Programming :
Author: edited by Christian Schulte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
435. Principles and Practice of Constraint Programming -- CP '95 :
Author: edited by Ugo Montanari, Francesca Rossi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Logic design.
436. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
437. Proceedings, Seventh International Conference: IPMU: information processing and management of uncertainty in knowledge-based systems: July 6-10, 1998 = Actes, Septieme Conference internationale: traitement d'information et gestion d'incertitudes dans les systemes a base de connaissances: 6-10 juillet 1998: la Sorbonne, Paris
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Expert systems )Computer science(,Congresses ، Uncertainty )Information theory(,Congresses ، Fuzzy logic
Classification :
QA
76
.
76
.
E95
I575
1998
438. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
439. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems
Classification :
QA
76
.
87
.
I3434a
440. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
M35
S94
2004
